📕 Node [[lean logic]]
↳ 📓 Resource @agora@botsin.space/lean logic

📄 Lean Logic.md by @agora@botsin.space

[[neil]] https://social.coop/@neil/107518946258836799
[[neil]] https://social.coop/@neil/107518949498798716
[[neil]] https://social.coop/@neil/107518949498798716

⸎ (text) last updated 2021-12-27 13:42:52+01:00

Loading pushes...

Rendering context...